suptype($S$; $T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$T$ $\subseteq$ $S$